external direct sum